Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• March 2013: Richard Booth (Univ. of Luxembourg). LIRMM AI seminar on Quantifying disagreement in argument-based reasoning.

• March 2013: Wojtek Jamroga (Univ. of Luxembourg). LIRMM AI seminar on Some Funny Complexity Results for Judgment Aggregation.

• April 2013: Pierre Bourhis (Univ. of Oxford). GraphIK seminar on The Impact of Disjunction on Query Answering Under Guarded-based Existential Rules.

• May 2013: Georg Gottlob (Univ. of Oxford). GraphIK seminar on The Hypergraph Transversal Problem: Applications, Complexity, and Tractable Cases.

• October 2013: Carsten Lutz (Univ. of Bremen). GraphIK seminar on Ontology-Based Data Access: A Study Through Disjunctive Datalog, CSP, and MMSNP, in the context of Michaël Thomazo's PhD's defense.

• October 2013: Georg Gottlob (Univ. of Oxford). GraphIK seminar on Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics, in the context of Michaël Thomazo's PhD's defense.

• November 2013: Roman Kontchakov and Michael Zakharyaschev (Birkbeck College, Londres). GraphIK seminar on Theory and practice of ontology-based data access with OWL 2 QL.

Visits to International Teams

Patrice Buche visited Wageningen UR Food and Biobased Research (Nederlands) two days in May 2013 (scientific exchanges on quantity and units ontologies).